1. Applied Formal Methods FM-Trends 98
پدیدآورنده : \ [Edited by] Dieter Hutter...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
E-Book
,
2. Applied formal methods
پدیدآورنده : / Dieter Hutter... [et al.], (eds.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Formal methods (Computer science)--Congresses
3. Applied formal methods--FM Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : proceedings
پدیدآورنده : Dieter Hutter...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1641
4. Security in pervasive computing : First International Conference, Boppard, Germany, March 12-14, 2003 : revised papers
پدیدآورنده : Dieter Hutter...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Ubiquitous computing,Congresses ، Computer security
رده :
QA
76
.
L28
Vol
.
2802
